Model Checking Discounted Temporal Properties

机译：模型检查折扣时间属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Luca De Alfaro; Marco Faella; Thomas A. Henzinger; Rupak Majumdar, et al.;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Model checking discounted temporal properties [J] . Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Theoretical computer science . 2005,第1期

机译：模型检查折现时间属性
2. Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software [J] . Yajun WU, Satoshi YAMANE IEICE transactions on information and systems . 2020,第4期

机译：模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
3. Faster Statistical Model Checking for Unbounded Temporal Properties [J] . Daca Przemyslaw, Henzinger Thomas A., Kretinsky Jan, ACM transactions on computational logic . 2017,第2期

机译：无限时间属性的更快统计模型检查
4. Model Checking Discounted Temporal Properties [C] . Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Tools and Algorithms for the Construction and Analysis of Systems . 2004

机译：模型检查贴现时间属性
5. Model-checking UML design using a temporal extension of the object constraint language. [D] . Bergeron, Mathieu. 2004

机译：使用对象约束语言的时间扩展进行模型检查UML设计。
6. Automatic validation of computational models using pseudo-3D spatio-temporal model checking [O] . Ovidiu Pârvu, David Gilbert 2014

机译：使用伪3D时空模型检查自动验证计算模型
7. Model Checking Discounted Temporal Properties [O] . L. DE ALFARO, M. FAELLA, T.A. HENZINGER, 2005

机译：模型检查折扣时间属性
8. Model Checking Discounted Temporal Properties [R] . de Alfaro, L. , Faella, M. , Henzinger, T. A. , 2005

机译：模型检查折扣时间属性

Model Checking Discounted Temporal Properties

著录项

引文网络

相似文献

相关主题

期刊订阅